1. Conference in Mathematical Logic, London '70
پدیدآورنده : Edited by Wilfrid Hodges
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
C6
1970
2. Conference in Mathematical Logic, London '70
پدیدآورنده : Edited by Wilfrid Hodges
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
255
3. Conference in Mathematical Logic London' 70
پدیدآورنده : edited by Wilfrid Hodges
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
255
4. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
پدیدآورنده : / [edited by] Wilfrid Hodges, Ruy de Queiroz.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق ریاضی,منطق ریاضی,زبان‌شناسی کامپیوتری,-- کنگره‌ها, -- کنگره‌ها
رده :
QA
۹
/
ک
۲ ۱۳۸۷
